From 3bcda55b803060405500b11cc9fcb04135c5d7d3 Mon Sep 17 00:00:00 2001 From: Jason Rumney Date: Mon, 3 May 2004 13:51:23 +0000 Subject: [PATCH] (info-gmake, info-nmake): New targets. (info): Use them. --- nt/makefile.w32-in | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 52455a0a2d8..4f619b3f2e3 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -217,11 +217,20 @@ force-info: # Note that man/makefile knows how to # put the info files in $(infodir), # so we can do ok running make in the build dir. -info: force-info - (cd ..\man && $(MAKE) $(MFLAGS) info) - (cd ..\lispref && $(MAKE) $(MFLAGS) info) - (cd ..\lispintro && $(MAKE) $(MFLAGS) info) +info: force-info info-$(MAKETYPE) +info-nmake: + cd ..\man + $(MAKE) $(MFLAGS) info + cd ..\lispref + $(MAKE) $(MFLAGS) info + cd ..\lispintro + $(MAKE) $(MFLAGS) info + +info-gmake: + $(MAKE) $(MFLAGS) -C ../man info + $(MAKE) $(MFLAGS) -C ../lispref info + $(MAKE) $(MFLAGS) -C ../lispintro info # # Maintenance # -- 2.30.2